منابع مشابه
Ticket Entailment is decidable
We prove the decidability of the logic T→ of Ticket Entailment. Raised by Anderson and Belnap within the framework of relevance logic, this question is equivalent to the question of the decidability of type inhabitation in simply-typed combinatory logic with the partial basis BBIW. We solve the equivalent problem of type inhabitation for the restriction of simply-typed lambda-calculus to heredi...
متن کاملTruthmakers, Entailment and Necessity
The hallowed path from language to universals has been by way of the correspondence theory of truth: the doctrine that whenever something is true, there must be something in the world which makes it true. I will call this the Truthmaker axiom. The desire to find an adequate truthmaker for every truth has been one of the sustaining forces behind traditional theories of u n i v e r s a l s . . . ...
متن کاملTicket Entailment plus the mingle axiom has the variable-sharing property
The logic TM is the result of adding the mingle axiom to Ticket Entailment logic, T. In the present paper, it is proved that TM has the variable-sharing property (vsp). Ternary relational semantics for TM is provided. Finally, an interesting extension of TM with the vsp is briefly discussed.
متن کاملDigital-Ticket-Controlled Digital Ticket Circulation
This paper presents a new digital-ticket circulating scheme and trust management scheme for a digital ticket. A digital ticket is a digital medium that guarantees certain rights of the owner and it includes software licenses, resource access tickets, event tickets, and plane tickets. The circulation of digital tickets comprises three types of principal transactions: issuance, transfer, and rede...
متن کاملTicket Sniping
INTRODUCTION ................................................................................... 243 BACKGROUND ...................................................................................... 245 I. THE ECONOMICS OF TICKET SNIPING ................................... 248 A. Long-term Revenue Maximization ....................................... 249 B. Inability to Price Discriminate .........
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Notre Dame Journal of Formal Logic
سال: 1972
ISSN: 0029-4527
DOI: 10.1305/ndjfl/1093894719